501. Python parallel programming cookbook :
پدیدآورنده : Giancarlo Zaccone.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Parallel programming (Computer science),Python (Computer program language),Application software-- Development.,Parallel programming (Computer science),Python (Computer program language)
502. Quantitative Evaluation of Computing and Communication Systems :
پدیدآورنده : edited by Heinz Beilner, Falko Bause.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Information theory.,Operating systems (Computers)
رده :
QA76
.
9
.
E94
E358
1995
503. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
504. Reading and writing the Lakota language
پدیدآورنده : Albert White Hat Sr. ; edited by Jael Kampfe ; [foreword by Vine Deloria Jr.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lakota dialect, Textbooks for foreign speakers-- English
رده :
PM1024
.
Z9
L338
1999eb
505. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
506. Refinement in Z and Object-Z :
پدیدآورنده : John Derrick, Eerke A. Boiten
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented programming (Computer science),Z (Computer program language)
رده :
QA76
.
73
.
Z2
D47
2014
507. Responsive Computer Systems
پدیدآورنده : edited by Hermann Kopetz, Yoshiaki Kakuda.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware.,Computer network architectures.,Computer science.
رده :
QA76
.
9
.
S88
E358
1993
508. Rigorous software engineering for service-oriented systems :
پدیدآورنده : Martin Wirsing, Matthias Hölzl (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : SENSORIA Project,Service-oriented architecture (Computer science),Web services
رده :
TK5105
.
5828
.
R54
2011
509. SOFSEM '95:
پدیدآورنده : edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Software engineering.
510. SQL server team-based development /
پدیدآورنده : Phil Factor [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : SQL server.,SQL server.,SQL server.,Client/server computing.,Teams in the workplace.,Client/server computing.,Computer Science.,Engineering & Applied Sciences.,Teams in the workplace.
رده :
QA76
.
9
.
C55
S657
2010
511. Scheduling of Resource-Constrained Projects
پدیدآورنده : by Robert Klein.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization.,Mathematics.
512. Scientific Software Systems
پدیدآورنده : edited by J.C. Mason, M.G. Cox.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science (General),Sciences -- General.
رده :
QA76
.
95
E358
1990
513. Seam 2.x web development
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : JBoss. ; Web servers ; Management. ; Java (Computer program language) ; Application software ; Development. ; Client/server computing. ;
514. Seam 2.x web development
پدیدآورنده : David Salter
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,Client/server computing,Java (Computer program language),Web servers-- Management
رده :
TK5105
.
8885
.
J42
S25
2009
515. Secure development for mobile apps: how to design and code secure mobile applications with PHP and JavaScript
پدیدآورنده : Glaser, J. D
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Portable computers - Programming,Security measures ، Mobile computing,، Application software - Development,Security measures ، Mobile communication systems,، PHP )Computer program language(,، JavaScript )Computer program language(
رده :
QA
76
.
9
.
A25
G53
2015
516. Security, Privacy, and Anonymity in Computation, Communication, and Storage :
پدیدآورنده : edited by Guojun Wang, Jun Feng, Md Zakirul Alam Bhuiyan, Rongxing Lu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.,Information systems.,Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.
رده :
QA76
.
9
.
A25
517. Security Unified Model for the Internet of Things (IoT) Residential Gateway Using Model-Based Systems Engineering
پدیدآورنده : Sung Nguyen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Applied sciences;Cyber physical;Internet of things;Iot security;Model-based systems engineering;Security modeling;Systems engineering
518. Security and trust management :
پدیدآورنده : Sokratis K. Katsikas, Cristina Alcaraz (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer networks-- Security measures.,Computer programming-- software development.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information retrieval.,Information technology: general issues.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
S76
2018
519. Semantic applications :
پدیدآورنده : Thomas Hoppe, Bernhard Humm, Anatol Reibold, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data.,Semantic computing.,Semantic Web.,Big data.,COMPUTERS-- General.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
520. Sencha Touch 2 mobile JavaScript framework
پدیدآورنده : John Earl Clark, Bryan P. Johnson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,JavaScript (Computer program language),Mobile computing-- Programming,User interfaces (Computer systems)-- Programming
رده :
QA76
.
9
.
U83
C53
2013
